The ω-Turing degrees
نویسندگان
چکیده
منابع مشابه
Definability in the Turing Degrees
Suppose that R is a countable relation on the Turing degrees. Then R can be defined in D, the Turing degrees with ≤T , by a first order formula with finitely many parameters. The parameters are built by means of a notion of forcing in which the conditions are essentially finite. The conditions in the forcing partial specify finite initial segments of the generic reals and impose a infinite cons...
متن کاملEmbeddings into the Turing Degrees
The structure of the Turing degrees was introduced by Kleene and Post in 1954 [KP54]. Since then, its study has been central in the area of Computability Theory. One approach for analyzing the shape of this structure has been looking at the structures that can be embedded into it. In this paper we do a survey of this type of results. The Turing degree structure is a very natural object; it was ...
متن کاملGlobal Properties of the Turing Degrees and the Turing Jump
We present a summary of the lectures delivered to the Institute for Mathematical Sciences, Singapore, during the 2005 Summer School in Mathematical Logic. The lectures covered topics on the global structure of the Turing degrees D, the countability of its automorphism group, and the definability of the Turing jump within D.
متن کاملI classes, LR degrees and Turing degrees
We say that A ≤LR B if every B-random set is A-random with respect to Martin-Löf randomness. We study this reducibility and its interactions with the Turing reducibility, Π1 classes, hyperimmunity and other recursion theoretic notions. A natural variant of the Turing reducibility from the point of view of Martin-Löf randomness is the LR reducibility which was introduced in [12]. We say that A ≤...
متن کاملRandomness, relativization and Turing degrees
We compare various notions of algorithmic randomness. First we consider relativized randomness. A set is ?-random if it is Martin-L?f random relative to 0_1). We show that a set is 2-random if and only if there is a constant c such that infinitely many initial segments x of the set are c-incompressible: C(x) > |x| ? c. The 'only if direction was obtained independently by Joseph Miller. This cha...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 2014
ISSN: 0168-0072
DOI: 10.1016/j.apal.2014.04.017